Ivano Salvo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Conflict vs causality in event structures

Gorla, Daniele, Salvo, Ivano

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 435 KB

2021

2

A CuCh Interpretation of an Object-Oriented Language

Viviana Bono, Ivano Salvo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 353 KB

english, 2001

3

A Type Inference Algorithm for Secure Ambients

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

4

M3: Mobility Types for Mobile Processes in Mobile Ambients

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

5

A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser

Benedetto Intrigila, Ivano Salvo, Stefano Sorgi

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 207 KB

english, 2001

6

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Model Checking Nash Equilibria in MAD Distributed Systems

Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico, Alvisi, Lorenzo, Clement, Allen, Li, Harry

Year:

2008

Language:

english

File:

PDF, 235 KB

english, 2008

7

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Automatic control software synthesis for quantized discrete time hybrid systems

Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Year:

2012

Language:

english

File:

PDF, 806 KB

english, 2012

8

Model-based synthesis of control software from system-level formal specifications

Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 1.56 MB

english, 2014

9

Intersection types and λ-definability

BUCCIARELLI, ANTONIO, PIPERNO, ADOLFO, SALVO, IVANO

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 501 KB

english, 2003

10

[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - On model based synthesis of embedded control software

Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Year:

2012

Language:

english

File:

PDF, 1.63 MB

english, 2012

11

[IEEE 2015 Euromicro Conference on Digital System Design (DSD) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 Euromicro Conference on Digital System Design - User Flexibility Aware Price Policy Synthesis for Smart Grids

Mancini, Toni, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico, Gruber, Jorn Klaas, Hayes, Barry, Prodanovic, Milan, Elmegaard, Lars

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

12

On minimising the maximum expected verification time

Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Journal:

Information Processing Letters

Year:

2017

Language:

english

File:

PDF, 396 KB

english, 2017

13

Linearising Discrete Time Hybrid Systems

Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

14

Inefficiencies in network models: A graph-theoretic perspective

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 400 KB

english, 2018

15

Depletable channels: dynamics, behaviour, and efficiency in network design

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Acta Informatica

Year:

2018

Language:

english

File:

PDF, 1.23 MB

english, 2018

16

A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019